Verifying the compliance of personalized curricula to curricula models in the semantic web

In this work we propose the introduction of a decoupling between personalized curricula and curricula models. A curricula model is formalized as a set of time constraints, while personalized curricula are formalized by means of an action theory. Given this framework, it is possible to make various interesting verification tasks automatic. In particular, we will discuss the possibility of verifying the compliance of personalized curricula to models, by using temporal reasoning. Compliance verification allows to check the soundness of a curriculum customized w.r.t. available resources and user goals against a model that expresses temporal learning dependencies at the knowledge level.